（来源：上观新闻）
Lau🌝🔗ra G🏓raesser是👰🧶牛津本📭科、NYU🇰🇾🍖硕士出身，2🇭🇹👩👩👧👧018年🏁📈加入Googl🧖♂️👨👨👦👦e，2📬💌023年至⭕今在DeepMi👴🇳🇪nd做机❓🔣器人研究，还合🇬🇫😈著过一本🥰👆强化学习教科🇳🇷书《F7️⃣🇹🇯oundat🧻🎄ions🧔 of Dee🤤p Reinfo🏊🇦🇮rcement🥨😘 Learnin📢g》🔉🐌。下图展示了🆕调用者驱动🇧🇼的规约🍊自动生成方💑🐝法，基本👉🎄思想是结合函✂数实现、调用者📫期望和领域背景知🇫🇲识，让 LL🇲🇵🚃M 为函数生成🌂👚规约🇻🇨。
图丨自上而下🚴♀️的规约生成💣新范式（来🍨源：arXi🇯🇲🧤v） 在推理过😥程的可靠🗨性方面，🉑研究团队并😗不是直接让 👨⚕️LLM 判断代码🇫🇯🇲🇽是否正确，而👦🐊是将思维链🆑（Chain🐯🐅 of Tho🌃👨💻ught）与霍尔🇳🇦🤕逻辑的🕦推理规则相结合，🎒👨⚖️引导 LL🍒♨M 逐🌰🇳🇪步推导每个代码块🦓执行后程序状态💔所满足的性🥵👤质，最终检查程序🎓🐚状态是否符合👩🚒🐉“说明🔑🏪书”的要求🈸。
他的逻辑是：🌷技术从来都是这🕋样的——消🧾✌灭一些🇹🇭岗位，同时创造🇨🇼出人们当🐡🧙♂️时根本💞🈳想不到的新岗位😦☠，净结果是⌨就业扩♌🌄张，不🔋😬是萎缩💷。据悉，荣耀😶📋这次派🚴♀️✳出了“闪电”和🐷🇹🇲“元气仔”两🕶款机器人，其中🤽♂️夺冠的⚪人形机器人“闪🌄🇫🇲电”身高169c📎m，外观采🐮🍰用潮酷🇳🇮🥠机甲风设计🍜🏉，兼顾📣💶空气动力学🎹🚴与视觉冲击力，🕸🎁核心竞争力是💦速度与🇪🇭爆发力，此🎛次参赛的机型包🛵🇷🇼括自主⚫导航和🔤💟遥控操作🇩🇲📘两款🕡。
